Graduate Studies in Mathematics

#	Item
21	Dr. Walter Whiteley Professor, Department of Mathematics and Statistics Graduate Programs in Mathematics, Education, Computer Science and Interdisciplinary Studies York University Dr. Walter Whiteley is a researcher in A Add to Reading List Source URL: mathforum1314.files.wordpress.com Language: English - Date: 2014-01-30 16:41:52 Science Mathematics Curriculum International Commission on Mathematical Instruction Mathematics education Education Knowledge
22	PRECISE AND AUTOMATIC VERIFICATION OF CONTAINER-MANIPULATING PROGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-12-06 18:00:13 Applied mathematics Science Logic in computer science Creativity Thought Heap Algorithm Formal verification Logic Abstraction Theoretical computer science Mathematics